Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ”ฎLisp Interpreters
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ฆMonorepos
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
๐Ÿ”—Go Generics
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Ÿ“ŠLog Parsers
Flag this post
About writing control systems in C
reddit.comยท1hยท
Discuss: r/embedded
๐Ÿ”€Control Structures
Flag this post
My Wishlist for PHP in 2026
stitcher.ioยท1dยท
Discuss: Hacker News
๐Ÿ—‚๏ธType Indexing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
โœ…Type Checking
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ‘‘Dependent Haskell
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.skยท11hยท
๐Ÿ“กErlang BEAM
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Borrowing Extensions
Flag this post
Scalable Static Analysis Framework โ€“ hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”ชProgram Slicing
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.comยท2dยท
Discuss: Substack
๐ŸŒˆGradual Languages
Flag this post
Fil-C: A memory-safe C implementation
lwn.netยท2dยท
Discuss: Hacker News
๐Ÿ“šStack Data Structures
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Nim 2.2.6
nim-lang.orgยท5hยท
Discuss: Hacker News
๐Ÿ’ฌError Messages
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
๐Ÿ›ก๏ธError Handling
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.comยท19hยท
Discuss: Hacker News
๐ŸŒŠGradual Typing
Flag this post
Writing and testing business logic in F#
event-driven.ioยท3d
๐Ÿ”€Control Structures
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
โš–๏ธInference Rules
Flag this post